Contents
- IdentityT <M, A> (K<M, A> Value)
- Pure (A value)
- Lift (K<M, A> value)
- Map <B> (Func<A, B> f)
- MapM <B> (Func<K<M, A>, K<M, B>> f)
- Select <B> (Func<A, B> f)
- Bind <B> (Func<A, IdentityT<M, B>> f)
- Bind <B> (Func<A, K<IdentityT<M>, B>> f)
- Bind <B> (Func<A, Pure<B>> f)
- Bind <B> (Func<A, IO<B>> f)
- SelectMany <B, C> (Func<A, IdentityT<M, B>> bind, Func<A, B, C> project)
- SelectMany <B, C> (Func<A, K<IdentityT<M>, B>> bind, Func<A, B, C> project)
- SelectMany <B, C> (Func<A, Pure<B>> bind, Func<A, B, C> project)
- SelectMany <B, C> (Func<A, IO<B>> bind, Func<A, B, C> project)
- IdentityTExt
- IdentityT <M>
record IdentityT <M, A> (K<M, A> Value) Source #
where
M : Monad<M>, SemiAlternative<M>
IdentityT monad
Parameters
| type | A | Bound value type |
Methods
method IdentityT<M, B> MapM <B> (Func<K<M, A>, K<M, B>> f) Source #
Maps the given monad
Parameters
| param | f | Mapping function |
method IdentityT<M, C> SelectMany <B, C> (Func<A, IdentityT<M, B>> bind, Func<A, B, C> project) Source #
method IdentityT<M, C> SelectMany <B, C> (Func<A, K<IdentityT<M>, B>> bind, Func<A, B, C> project) Source #
method IdentityT<M, C> SelectMany <B, C> (Func<A, Pure<B>> bind, Func<A, B, C> project) Source #
method IdentityT<M, C> SelectMany <B, C> (Func<A, IO<B>> bind, Func<A, B, C> project) Source #
class IdentityTExt Source #
where
M : Monad<M>, SemiAlternative<M>
Identity module
Methods